projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6124f6c) | patch
build: set policy filename on make command line
authorAnthony PERARD <anthony.perard@citrix.com>
Fri, 15 Oct 2021 09:13:39 +0000 (11:13 +0200)
committerJan Beulich <jbeulich@suse.com>
Fri, 15 Oct 2021 09:13:39 +0000 (11:13 +0200)
commit76f2b04c90413dd00a418f9fc957dc402951a2a5
tree8844ba4bd5361323221387797ebf9430740ff6bbtree | snapshot
parent6124f6c1893f3b2a8ada218820d9f4d1ca9066fccommit | diff
build: set policy filename on make command line

In order to avoid flask/Makefile.common calling `make xenversion`, we
override POLICY_FILENAME with the value we are going to use anyway.

Signed-off-by: Anthony PERARD <anthony.perard@citrix.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
master commit: c81e7efe2146c8f381fbdbb037b9d46866a6451e
master date: 2021-09-08 14:40:00 +0200
xen/xsm/flask/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.